On the existence of certain total recursive functions in nontrivial axiom systems, I
نویسندگان
چکیده
We investigate the existence of a class of ZFC–provably total recursive unary functions, given certain constraints, and apply some of those results to show that, for Σ1–sound set theory, ZFC 6⊢ P < NP . Partially supported by CNPq, by FAPESP and by the PREVI Program, Federal University at Juiz de Fora.
منابع مشابه
Existence and multiplicity of nontrivial solutions for $p$-Laplacian system with nonlinearities of concave-convex type and sign-changing weight functions
This paper is concerned with the existence of multiple positive solutions for a quasilinear elliptic system involving concave-convex nonlinearities and sign-changing weight functions. With the help of the Nehari manifold and Palais-Smale condition, we prove that the system has at least two nontrivial positive solutions, when the pair of parameters $(lambda,mu)$ belongs to a c...
متن کاملOn characterizations of the fully rational fuzzy choice functions
In the present paper, we introduce the fuzzy Nehring axiom, fuzzy Sen axiom and weaker form of the weak fuzzycongruence axiom. We establish interrelations between these axioms and their relation with fuzzy Chernoff axiom. Weexpress full rationality of a fuzzy choice function using these axioms along with the fuzzy Chernoff axiom.
متن کاملDiagonal arguments and fixed points
A universal schema for diagonalization was popularized by N.S. Yanofsky (2003), based on a pioneering work of F.W. Lawvere (1969), in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function. It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema. Here, we fi...
متن کاملExistence of at least one nontrivial solution for a class of problems involving both p(x)-Laplacian and p(x)-Biharmonic
We investigate the existence of a weak nontrivial solution for the following problem. Our analysis is generally bathed on discussions of variational based on the Mountain Pass theorem and some recent theories one the generalized Lebesgue-Sobolev space. This paper guarantees the existence of at least one weak nontrivial solution for our problem. More precisely, by applying Ambrosetti and Rabinow...
متن کاملThe Proof-theoretic Strength of the Dushnik-miller Theorem for Countable Linear Orders
We show that the Dushnik-Miller Theorem for countable linear order-ings (stating that any countable linear ordering has a nontrivial self-embedding) is equivalent (over recursive comprehension (RCA 0)) to arithmetic comprehension (ACA 0). This paper presents a result in reverse mathematics, a program initiated by H. Friedman and S. Simpson, trying to determine the weakest possible \set-theoreti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره cmp-lg/9804005 شماره
صفحات -
تاریخ انتشار 1998